core
API
Generated with
core/doobie/doobie.util/<:!<

<:!<

doobie.util.<:!<
See the<:!< companion trait
object <:!<

Attributes

Companion
trait
Source
subtype.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
<:!<.type

Members list

Implicits

Implicits

implicit def nsub[A, B](implicit ev: NotGiven[A <:< B]): A <:!< B

Attributes

Source
subtype.scala
Generated with